Courses Catalogue
- Home /
- Course Catalogue /
- Formal Methods In Software Engr
Formal Methods In Software Engr
Course Code: CSC 432
Credit Unit: 3
Academic Programme: Bachelor of Science Degree in Computer Science
Faculty: Computer Science
Status: Elective
Programme Type: Bachelor
Course Description
Formal Methods supports the production of highly-reliable Software. In this course, students would learn a collection of techniques for formal software development, spanning the whole development process: from high-level semantic modeling to coding and debugging. The study will not be done in the abstract, however, but through the use of actual tools supporting these techniques.
Latest News
-
Important Notice to Students on Exam Rules and Regulations
April 13, 2024, 6:30 pm -
Eid-el-Fitr: FUL VC, Prof. Akinwumi Sends Message to Staff and Students
April 10, 2024, 9:30 am -
No Lassa Fever Case in FUL as Varsity Medical Center Issues Health Advisory
April 9, 2024, 3:17 pm -
Drug Abuse and its Consequences by Pharm (Mrs) Kudirat Nasiru - FUL Health Corner
April 5, 2024, 11:34 pm -
Prioritize Your Academic Pursuit - FUL VC, Prof. Akinwumi Tells 4,925 Matriculating Students
April 5, 2024, 10:30 am -
Int'l Linkage: FUL Moves to Partner University of Waterloo, Canada
April 4, 2024, 7:48 pm -
FUL Forges Partnership with World Bank-Assisted Project, ACReSAL
April 4, 2024, 3:55 pm -
Establishment of Law Faculty Gathers Momentum as FUL Mgt. Convenes Meeting with Senior Lawyers in Abuja
April 3, 2024, 10:30 am